AbstractfCTM = Union{fCTM}